Aesthetic Computing Dagstuhl Seminar Report Nº 348
نویسندگان
چکیده
منابع مشابه
07041 Abstracts Collection Power - aware Computing Systems Dagstuhl Seminar
From January 21, 2007 to January 26, 2007, the Dagstuhl Seminar 07041 Power-aware Computing Systems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and discussed ongoing work and open problems. This report compiles abstracts of the seminar presentations as well as the seminar result...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملReal-World Visual Computing (Dagstuhl Seminar 13431)
Deduction and Arithmetic (Dagstuhl Seminar 13411) Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach . . . . . . 1 Genomic Privacy (Dagstuhl Seminar 13412) Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) Glencora Borradaile, Philip Klein,...
متن کاملReport from Dagstuhl Seminar 13111 1 Executive Summary
This report documents the program and the outcomes of Dagstuhl Seminar 13111 “Scheduling”. The primary objective of the seminar is to facilitate dialog and collaboration between researchers in two different mathematically-oriented scheduling research communities, the stochastic scheduling and queuing community, and the worst-case approximation scheduling community. Seminar 10.–15. March, 2013 –...
متن کاملVisualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 11501)
Secure Computing in the Cloud (Dagstuhl Seminar 11491) Benny Pinkas, Ahmad-Reza Sadeghi, and Nigel P. Smart . . . . . . . . . . . . . . . . . . . . . . . . 1 Secure Architectures in the Cloud (Dagstuhl Seminar 11492) Sabrina De Capitani di Vimercati, Wolter Pieters, and Christian W. Probst . . . . . . 11 Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003